Nuprl Definition : rps 11,40

rps(xy)
== bor(band((x = 2); (y = 0)); bor(band((x = 1); (y = 2)); band((x = 0); (y = 1)))) 
latex


Definitionsbor(pq), band(pq), (i = j), #$n
FDL editor aliasesrps

origin